Inhalt des Dokuments

Lehre

Lehrangebot im Sommersemester 19/20

Mittwoch, 01. April 2020

Im Pandemiesommersemester 19/20 gilt folgendes Angebot: 

Digital werden durchgeführt:

• "Reaktive Systeme"
• "The Software Horror Picture Show"
• "Programmierpraktikum: Modelle Dynamischer Systeme"
• "Einführung in das interaktive Theorembeweisen (Isabelle-Lab)"
• "MTV Seminar: Write, Review and Publish"

Das Modul "Algebraic Process Calculi" entfällt.

---